Constructive Mathematics

BOOK IN PROGESS: Las Raíces Dialógicas de la Teoría Constructiva de Tipos . Estrategias dialógicas, demostraciones constructivas y el axioma de elección. Nicolas Clerbout y Shahid Rahman

Cognitive Science / Computer Science / Human Computer Interaction / Game Theory / Philosophy / Epistemology / Philosophy of Science / Pragmatism / Logic / Pragmatics / Philosophy Of Mathematics / Constructivism / Dialogue / Philosophy of Logic / Logical Constants / Wittgenstein / Linguistics / Argumentation Theory and Critical Thinking / Informática / Epistemología / Filosofía / Robert Brandom / Epistemologia / Constructive Mathematics / Constructivismo / Teoria de Juegos / Pragmática / Teoría del conocimiento / Argumentación Razones Razonamiento Lógica / Ciencias De La Computacion / Formal Semantics (In Linguistics, In Philosophy, of Programming Languages) / Epistemology / Philosophy of Science / Pragmatism / Logic / Pragmatics / Philosophy Of Mathematics / Constructivism / Dialogue / Philosophy of Logic / Logical Constants / Wittgenstein / Linguistics / Argumentation Theory and Critical Thinking / Informática / Epistemología / Filosofía / Robert Brandom / Epistemologia / Constructive Mathematics / Constructivismo / Teoria de Juegos / Pragmática / Teoría del conocimiento / Argumentación Razones Razonamiento Lógica / Ciencias De La Computacion / Formal Semantics (In Linguistics, In Philosophy, of Programming Languages)